Tool Supported Modeling of Mobile Systems
نویسندگان
چکیده
Model driven development needs tool support. Assistance in maintaining model consistence with respect to both syntactical well-formedness rules and business logic of the system being modeled is essential for every CASE tool. We present the tool ArgoMobile for modeling mobile systems. The highlighting feature of ArgoMobile is how it helps the modeler keep his models syntactically and semantically consistent.
منابع مشابه
A Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملThermal modeling of mini-channel and laminated Types evaporator in mobile air conditioning system
In this paper, mini-channel type evaporator which is new in mobile air conditioning (MAC) or automotive air conditioning (AAC) systems is thermally modeled. The performance of mini-channel evaporator is also compared with the laminated evaporator which is being currently used in automotive industries. The mini-channel evaporator was constructed of two rows of parallel flow mini-channel tubes...
متن کاملA Tool Supported Methodology For Developing Secure Mobile P2P Systems
The growth of mobile devices with near PC equivalent capabilities has brought with it the possibility of mobile Peer-to-Peer (P2P) systems. However, the unique nature of mobile devices introduces new challenges that need to be considered during the development process, especially when considering critical aspects such as system security. This chapter presents the PEPERS Development Methodology ...
متن کاملSimulation and Testing of Mobile Computing Systems using Fujaba
The paper presents an approach for analysis, modeling and validation of mobile information systems with the tool support of Fujaba. The approach is developed based on UMLlike meta models and graph transformation techniques to support sound methodological principals, formal analysis and refinement. With conceptual and concrete level of modeling and simulation, the approach could support applicat...
متن کاملOn the modelling of GMSK binary transmission over time-variant TDMA/FDD macrocellular radio channels with derotation-based coherent demodulation
(1) This work has been partially supported by the European R&D, ACTS-MOSTRAIN program. Abstract GMSK is an efficient modulation technique for digital mobile communications. In this paper a simple solution to the modeling and simulation of GMSK systems impaired by fading channels and additive white Gaussian noise is given, and its effects on the channel characteristics are also considered. The m...
متن کامل